$e$ sends $a$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$\exists$${\it e'}$:E. ${\it e'}$ receives $a$ \& sender(${\it e'}$) $=$ $e$